/* This comment is here to prevent an error during the including an empty file */